Andy

Results: 4820



#Item
721

On the Formal Development of Safety-Critical Software Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn Department of Computer Science, University of York Heslington, York, YO10 5DD, UK {andyg, iwuo, jam, ian}@cs.yor

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:04
    722

    Thank you to... the volunteers who offered in advance: Alasdair, Andy1, Andy II, Ben, Dan, Dee, Sam T

    Add to Reading List

    Source URL: www.opentech.org.uk

    Language: English - Date: 2013-01-26 06:14:18
      723

      Tuning and Testing Scrolling Interfaces that Automatically Zoom Andy Cockburn†, Joshua Savage‡, Andrew Wallace† † Human-Computer Interaction Lab

      Add to Reading List

      Source URL: www.cosc.canterbury.ac.nz

      Language: English - Date: 2005-01-26 20:25:36
        724

        The Role of State Medicaid Directors: A Leadership Imperative by Andy Allison, PhD Table of Contents

        Add to Reading List

        Source URL: www.milbank.org

        Language: English - Date: 2015-09-28 11:09:16
          725

          How to Structure a LATEX Document (and have a Brew!) Andrew Roberts School of Computing, University of Leeds, Leeds,

          Add to Reading List

          Source URL: www.andy-roberts.net

          Language: English - Date: 2011-07-16 13:53:01
            726

            Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2010-03-26 11:31:43
              727

              Getting to Grips with LATEX Andrew Roberts ii Chapter 1

              Add to Reading List

              Source URL: www.andy-roberts.net

              Language: English - Date: 2011-07-16 13:53:47
                728

                FOR IMMEDIATE RELEASE Contact: Andy Schultheiss / OPEN BOULDER ENDORSES FIVE CANDIDATES FOR CITY COUNCIL

                Add to Reading List

                Source URL: openboulder.org

                Language: English - Date: 2015-09-15 11:08:19
                  729

                  Andrew Roberts 1st October 2003 Latex Tutorial 8 (Examples) - Page Layout Andrew Roberts

                  Add to Reading List

                  Source URL: www.andy-roberts.net

                  - Date: 2011-07-16 13:52:36
                    730

                    Exploring Game Space Using Survival Analysis Aaron Isaksen Dan Gopstein Andy Nealen

                    Add to Reading List

                    Source URL: game.engineering.nyu.edu

                    Language: English - Date: 2015-05-21 10:27:17
                      UPDATE